function $(element) {
	return document.getElementById(element);
}

